Higher-order logic - PDFSEARCH.IO - Document Search Engine

Higher-order logic
Results: 178

#	Item
81	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
82	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
83	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic
84	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
85	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
86	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
87	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics
88	Small Bisimulations for Reasoning About Higher-Order Imperative Programs Vasileios Koutavas Mitchell Wand Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-11 12:39:28 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Bisimulation Semantics of programming languages Lambda calculus Theoretical computer science Logic in computer science Logic
89	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Function Model theory Linear temporal logic Μ operator Logic Mathematics Mathematical logic
90	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics

UPDATE